$\vdash$  ((inl $\cdot$ ) $\sim$ (inl $\cdot$ )) $\vee$ ((inl $\cdot$ ) $\sim$ (inr $\cdot$ ))